461. Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995 : selected papers
Author: E. Brinksma ... )et al.(, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
V0l
.
1019
462. Tools and algorithms for the construction and analysis of systems : third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997 : proceedings
Author: Ed Brinksma )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1217
463. Transactions on computational science XIV :
Author: Marina L. Gavrilova, C.J. Kenneth Tan, Mir Abolfazl Mostafavi (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Research,Voronoi polygons,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computer Graphics,Computer Science,Data Structures,Discrete Mathematics in Computer Science,Numeric Computing
Classification :
QA76
.
27
.
T73
2011
464. Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Paima, Mallorca, Spain, May 21-23, 1997: proceedings
Author: Miquel Bertran, Teodor Rus, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Real-time data processing,Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1231
465. Trends and Perspectives in Modern Computational Science.
Author: George Maroulis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Engineering -- Data processing -- Congresses.,Science -- Data processing -- Congresses.
466. 27, 2011, Tutorial Lectures-Reasoning Web. Semantic Technologies for the Web of Data: 7th International Summer School 2011, Galway, Ireland, August 23
Author: / Schneider (eds.)-Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter Patelبren Auer, Jens Lehmann (auth.), Axel Polleres, Claudia dSن
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING& ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING &COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
467. U- and E-Service, science and technology :
Author: Tai-hoon Kim...[et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business-- Data processing, Congresses.,Information technology, Congresses.
Classification :
T58
.
5
.
U54
2011
468. UML 2 certification guide :
Author: Tim Weilkiens, Bernd Oestereich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,UML (Computer science)-- Examinations, Study guides.,Computer software-- Development-- Examinations-- Study guides.,COMPUTERS-- Programming-- Object Oriented.,Electronic data processing personnel-- Certification.,Electronic data processing personnel-- Certification.,UML (Computer science)-- Examinations-- Study guides.
Classification :
QA76
.
3
.
W4622
2007eb
469. Uncertainty Quantification in Scientific Computing:
Author: Andrew M Dienstfrey
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
Classification :
Q375
.
A537
2012
470. Understanding CORBA:the common object request broker architecture
Author: / Randy Otte,Paul Patrick and Markk Roy
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Object-oriented programming (Computer science),Application software,Electronic data processing-Distributed processing
Classification :
QA
76
.
64
.
O88
1996
471. Using information technology effectively in teaching and learning :
Author: edited by Bridget Somekh and Niki Davis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction.,Educational technology.,Teachers-- In-service training.,Aufsatzsammlung,Computer-assisted instruction.,Educational technology.,Informationstechnik,Teachers-- In-service training.,Unterrichtstechnologie
Classification :
LB1028
.
3
.
U847
1997
472. VCP5-DCV
Author: Brian Atkinson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: VMware vSphere-- Examinations,Data recovery (Computer science)-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,Virtual computer systems-- Examinations, Study guides.
473. Writing scientific softwar
Author: / Suely Oliveira and David E. Stewart
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer software--Development,Software engineering.,Science--Data processing,Science--Software
Classification :
QA
,
76
.
76
,.
D47
,
O45
,
2006eb
474. Young person's occupational outlook handbook /
Author: by the editors at JIST ; based on information from the U.S. Department of Labor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Job descriptions.,Occupations.,Vocational guidance.,Job descriptions.,Occupations.,Vocational guidance.,Job descriptions.,Occupations.,Vocational guidance.
Classification :
HF5382
.
Y58
2007
475. agent systems :-Architectural design of multi
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Intelligent agents (Computer software) ; Electronic data processing ; Distributed processing ; Computer architecture ;
476. driven generation of policies-Data
Author: / Austin Parker, Gerardo I. Simari, Amy Sliva, V.S. Subrahmanian (auth.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING&COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY|MINING
Classification :
E-BOOK
477. 0203931254 (ebook)
Author: edited by Nancy Snow, Philip M. Taylor.
Library: Library of Islamic Parliament (Tehran)
Subject:
478. order components for grid programming-Higher
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational grids (Computer systems) ; Computer software ; Development. ; Parallel programming (Computer science) ; Electronic data processing ; Distributed processing. ; API. ; swd. ; Grid Computing. ; swd. ; Hochleistungsrechnen. ; swd. ; Komponentenm
479. to-Instant Data Intensive Apps with Pandas How
Author: / Hauck, Trent
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
Classification :
E-BOOK
